monadic second order logic造句
例句與造句
- also cannot be interpreted in monadic second order logic.
- A finite automaton which runs on an infinite tree was first used by Rabin for proving decidability of monadic second order logic.
- It's difficult to find monadic second order logic in a sentence. 用monadic second order logic造句挺難的